时,

时, 由定理 2.9.1 得, 对于 , 有

由推论 1,

于是有

证毕.